Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
951	Microsoft Word - CBEAll.doc Add to Reading List Source URL: gps.nju.edu.cn Language: English - Date: 2012-03-22 03:58:52 Procedural programming languages Compiler construction Formal languages Compiler Code generation Syntax Parsing Programming language Pascal Software engineering Computing Computer programming
952	[Faculty of Science Information and Computing Sciences] Generic programming with the multirec library Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Expr Generic programming Functor Fexpr Formal languages Parsing Map Tiny programming language Computing Unix Software engineering
953	Microsoft Word[removed]All 12.doc Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-05-11 17:43:54 Formal methods Theoretical computer science Handout Humanitarian aid First-order logic Programming language ALGOL 68 Predicate transformer semantics Parallel computing Computing Software engineering Computer programming
954	Combinator Parsing: A Short Tutorial S. Doaitse Swierstra institute of information and computing sciences, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2009-01-06 03:12:36 Syntax Software engineering Parser generators Functional programming Parser combinator LL parser Recursive descent parser Compiler-compiler Combinator library Formal languages Programming language implementation Parsing
955	Vol. 6, No. 9, Special Issue: TOOLS EUROPE 2007, 2007 Reuseware – Adding Modularity to Your Language of Choice Jakob Henriksson Fakultät für Informatik, Technische Universität Dresden Jendrik Johannes Fakultät fü Add to Reading List Source URL: www.jot.fm Language: English - Date: 2007-09-19 08:14:43 Formal languages Aspect-oriented software development Computer languages Compiler construction Philosophy of language Context-free grammar Programming language Aspect-oriented programming SQL Computing Software development Software engineering
956	Syllabus Teaching Middle and Secondary Immigrant/Refugee Students with Limited Formal Schooling Course Dates and Times: Tuesdays 4:40 – 7:20 Instructor: Add to Reading List Source URL: ihrc.umn.edu Language: English - Date: 2008-01-16 01:00:00 Philosophy of education Language education Educational psychology English-language learner Lesson plan E-learning Cooperative learning Teacher Dual language Education Pedagogy Teaching
957	On the Expressivity of Linear Transductions Chris Quirk Markus Saers and Dekai Wu Microsoft Research Human Language Technology Center One Microsoft Way, Redmond Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2011-10-12 03:26:22 Compiler construction Permutations Formal grammar Weak generative capacity Context-free grammar Inversion Parsing Formal languages Mathematics Combinatorics
958	First-past-the-post Games Roland Backhouse School of Computer Science, University of Nottingham, Nottingham, NG8 1BB, England, United Kingdom Abstract Informally, a first-past-the-post game is a (probabilistic) game wher Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-08-04 03:49:18 Function Formal languages Mathematics Regular language
959	A Shallow Approach to Subjectivity Classification Add to Reading List Source URL: aaai.org Language: English - Date: 2009-02-01 20:04:31 Science Statistics Computational linguistics N-gram Speech recognition Bigram Variance String Linguistics Natural language processing Formal languages
960	Determining Software Models that Are Less Incorrect Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:08:34 Science Theoretical computer science Verification and validation Software development process Software bug Programming language Model checking Formal verification Device driver synthesis and verification Formal methods Software development Software testing

UPDATE